KMID : 0974620030210010239
|
|
Bulletin of Dongnam Health University 2003 Volume.21 No. 1 p.239 ~ p.245
|
|
Formal Verification of Security Properties in RADIUS Protocol with Casper
|
|
Lee Ji-Yeon
|
|
Abstract
|
|
|
AAA services are proposed to guarantee a correct user authentication, and authorization, accounting. RADIUS protocol is a representative security protocol which supports these AAA services. In this paper, I specified the authentication mechanism of RADIUS protocol using Casper and CSP, and its security properties.
|
|
KEYWORD
|
|
|
|
FullTexts / Linksout information
|
|
|
|
Listed journal information
|
|
|